基于二阶差分的音频重采样盲取证

音频信号在拼接、重压缩、变速变调、伪装高质量音频等篡改操作中, 经常伴随着重采样的操作. 因此, 检测重采样是音频取证的重要方面. 提出采用二阶差分的方法来检测重采样音频, 从理论上证明了重采样的音频信号经过二阶差分处理后, 频谱上会呈现出明显的离散尖峰, 该方法也适用于常见的非线性插值情况. 运用该特点设计了重采样的自动检测方案, 研究了离散尖峰与音频时长、音频内容、音频格式的相关性. 大量实验结果表明, 该方法能够简单、快速、有效地检测重采样音频.     

基于约束规划的小天体接近段鲁棒制导控制方法

以小天体接近段任务为背景,提出了一种基于约束规划的鲁棒制导控制方法。该方法将目标天体引力模型引入轨迹规划过程中,并将具有控制约束与轨迹状态约束的非线性动力学路径规划问题转化为以优化燃耗为性能指标的二阶圆锥规划(second order cone program, SOCP)问题|同时考虑目标天体引力模型与外界干扰等不确定因素对轨迹跟踪的影响,基于模型不确定界设计鲁棒反馈控制律。数学仿真证明,在相同条件下,基于凸规划的制导控制性能无论在制导控制偏差或是状态与控制约束满足方面均优于传统多项式拟合制导控制算法。     

二阶线性非散度型抛物方程解的局部正则性估计

发展了Acerbi 等的方法, 得到了一类具有小 BMO 系数的二阶线性非散度型抛物方程解的二阶偏导数在Orlicz 空间中的局部正则性估计。这种正则性估计可以应用于 W^2,1_p解的存在性问题。     

二阶反周期边值问题Nagumo型存在性定理

讨论Nagumo型条件结合符号条件下二阶反周期边值问题的存在性问题,借助经典的不动点定理得到至少存在一个解的充分条件．     

渐近线性二阶常微分方程组解的存在性和多重性

研究一类渐近线性二阶常微分方程组解的情况。通过建立对应线性二阶常微分方程组的指标理论,得到渐近线性二阶常微分方程组解的存在性与多重性判定方法和实例。     

基于Hilbert变换的正交检波器设计新方法

实信号处理实现正交检波时,通道间不匹配必然会产生镜像干扰。提出了一种复解析信号处理实现正交检波的新方法,从理论上消除了通道间不匹配所产生的镜像干扰。复解析信号处理需进行信号的Hilbert变换,分析了一种近似实现Hilbert变换的方法对系统性能的影响,给出了新方法的二阶采样数字化实现方案。与一阶数字化正交检波结构相比,二阶采样方案更利于实时实现。     

基于二阶滑模的BTT导弹反演滑模控制

针对具有非匹配不确定性的倾斜转弯(bank-to-turn, BTT)导弹非线性动力学模型,基于反演思想和二阶终端滑模控制方法,设计了一种新的BTT导弹反演滑模控制器。反演设计的每一步均采用滑模控制对不确定性进行补偿,并在最后一步设计中采用非奇异二阶终端滑模控制,既能防止抖振对舵机造成损坏,又减小了累积误差。采用精确微分器解决“计算膨胀”问题,并证明了跟踪误差最终有界。仿真结果表明,通过适当选取设计参数,跟踪误差将收敛到原点附近任意小的邻域内。     

基于二阶滑模的刚体航天器姿态跟踪控制

针对存在参数不确定性和外加干扰的刚体航天器的姿态跟踪控制问题,提出一种基于二阶滑模的姿态跟踪控制方法。首先介绍高阶滑模控制基本原理,并建立基于修正罗德里格参数(modified Rodrigues parameter, MRP)描述的航天器数学模型,采用李雅普诺夫第二法推导二阶滑模姿态控制律。理论分析和仿真结果表明该方法能够有效消除系统抖振,并实现航天器姿态跟踪的精确定位,且系统具有全局稳定性和鲁棒性。     

时标上二阶中立型差分方程的振动准则

通过里卡蒂变换,对二阶时滞差分方程(r(t)ψ(x(t))|Z△(t)|γ-1Z△(t))△+q(t)f(x(τ(t)))=0建立了在时标T上的振动准则,其中γ≥1是一个正奇数,Z(t)=x(t)+p(t)x(δ(t)),r(t),p(t)和q(t)是T上右稠连续函数。     

一种二阶补偿的CMOS带隙基准电压源

提出了一种通过沟道长度调制效应进行二阶温度曲率补偿的CMOS带隙基准电压源,并分析了这种结构实现二阶温度曲率补偿成立的条件。采用0.35 μm标准CMOS工艺库,在Cadence环境下进行仿真,在-50°～+120℃温度范围内,一阶曲率补偿的温度系数为9.5 ppm/℃,而运用二阶曲率补偿后该基准电压源具有2.7 ppm/℃的低温度系数。